}
}
- // add vertical margins to headerbar buttons to avoid them spanning the whole height
+ // add vertical margins to headerbar entries, buttons and separators to avoid them spanning the whole height
+ entry,
+ separator,
button {
margin-top: 6px;
margin-bottom: 6px;
.titlebar headerbar.default-decoration button.titlebutton {
min-height: 26px;
padding: 0 5px; }
+ .titlebar:not(headerbar) entry, .titlebar:not(headerbar) spinbutton,
+ .titlebar:not(headerbar) separator,
.titlebar:not(headerbar) button,
.titlebar:not(headerbar) button.titlebutton,
+ headerbar entry,
+ headerbar spinbutton,
+ headerbar separator,
headerbar button,
headerbar button.titlebutton,
headerbar .titlebar button.titlebutton,
.titlebar headerbar.default-decoration button.titlebutton {
min-height: 26px;
padding: 0 5px; }
+ .titlebar:not(headerbar) entry, .titlebar:not(headerbar) spinbutton,
+ .titlebar:not(headerbar) separator,
.titlebar:not(headerbar) button,
.titlebar:not(headerbar) button.titlebutton,
+ headerbar entry,
+ headerbar spinbutton,
+ headerbar separator,
headerbar button,
headerbar button.titlebutton,
headerbar .titlebar button.titlebutton,